Seminar - Tool aided modeling of a “Tamagotchi” Tamagotchi in ObjectGEODE
نویسندگان
چکیده
1 ObjectGEODE and SDL 2 1.
منابع مشابه
Tamagotchis Need Not Die { Veriication of Statemate Designs
This paper presents a toolset we built for supporting veriication of Statemate 1 designs. Statemate is a widely used design tool for embedded control applications. Designs are translated into nite state machines which are optimized and then veriied by symbolic model checking. To express requirement speciications the visual formalism of symbolic timing diagrams is used. Their semantics is given ...
متن کاملTRIANGLE: A Multi-Media test-bed for examining incidental learning, motivation and the Tamagotchi-Effect within a Game-Show like Computer Based Learning Module
At first sight, “TRIANGLE” appears to be just another piece of learning software but it is much more than this, it is an experimental test-bed for examining motivational factors in computer based training. Such a multi-media application derives its power of attraction from the quality of the interface design and the multi-medial content. Used as a trial on a defined target group of K12-students...
متن کاملMASCF: A generic process-centered methodological framework for analysis and design of multi-agent supply chain systems
Multi-agent systems (MAS) are becoming popular for modeling complex systems such as supply chains. However, development of multi-agent systems remain quite involved and extremely time consuming. Currently, there exist no generic methodologies for modeling supply chains using multi-agent systems. In this research, we propose a generic process-centered methodological framework, Multi-Agent Supply...
متن کاملDynamic simulation of the supply chain for a short life cycle product - Lessons from the Tamagotchi case
Supply chain phenomena such as the bullwhip e.ect and boom and bust have been widely studied. However, their interaction with other factors has not been elaborated. We use scenario-based dynamic simulations to study the short product life cycle case, exempli2ed by TamagotchiTM, which was the 2rst of the virtual pet toys. Our model has three components, market, retail and factory. To simulate th...
متن کاملMulti-Agent Supply Chain Modeling – A Re-Usable Component-Based Framework
A re-usable component-based framework is proposed for modeling and simulation of multi-agent supply chain systems. The framework facilitates study of both intraas well as interorganizational issues simultaneously across a supply chain (SC) paying due attention to the issue of private as well as public information. It utilizes a pre-developed library of organizational primitives, supply chain pr...
متن کامل